首页> 外文OA文献 >An aspect-oriented, model-driven approach to functional hardware verification

【2h】

An aspect-oriented, model-driven approach to functional hardware verification

机译：面向方面，模型驱动的功能硬件验证方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

peer-reviewed

机译：同行评审

著录项

作者
Linehan, Eamonn; Clarke, Siobhán;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. An aspect-oriented, model-driven approach to functional hardware verification [J] . Linehan E., Clarke S. Journal of systems architecture . 2012,第5期

机译：面向方面，模型驱动的功能硬件验证方法
2. An aspect-oriented model-driven approach for building adaptable context-aware service-based applications [J] . Boudjemaa Boudaa, Slimane Hammoudi, Leila Amel Mebarki, Science of Computer Programming . 2017,第MARa1期

机译：面向方面的模型驱动方法，用于构建可适应上下文的基于服务的应用程序
3. Aspect-oriented model-driven skeleton code generation: A graph-based transformation approach [J] . Jeannette Bennett, Kendra Cooper, Lirong Dai Science of Computer Programming . 2010,第8期

机译：面向方面的模型驱动骨架代码生成：基于图的转换方法
4. An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time Systems [C] . Wehrmeister, M.A., Freitas, . 2007

机译：面向模型的分布式嵌入式实时系统的模型驱动开发中的非功能需求处理方法
5. An approach to aspect-oriented model-driven code generation using graph transformation [D] . Bennett, Jeannette Donyell 2007

机译：一种使用图形转换的面向方面的模型驱动代码生成的方法
6. Integrated functional and bioinformatics approach for the identification and experimental verification of RNA signals: application to HIV-1 INS [O] . Horst Wolff, Ruth Brack-Werner, Markus Neumann, 2003

机译：集成的功能和生物信息学方法用于RNA信号的鉴定和实验验证：在HIV-1 INS中的应用
7. Aspect-oriented model-driven skeleton code generation: A graph-based transformation approach [O] . Bennett Jeannette, Cooper Kendra, Dai Lirong 2010

机译：面向方面的模型驱动骨架代码生成：基于图的转换方法
8. Federal Approach to Formal Hardware Design Verification. [R] . Dill, D. L. 2002

机译：联邦方法进行正式的硬件设计验证。

An aspect-oriented, model-driven approach to functional hardware verification

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅